Software Architectures for Dependable Systems
نویسندگان
چکیده
The aim of this tutorial is to provide an insight on how the structuring of software systems at the architectural level is fundamental for the development of dependable systems. Taking as a basis the different dependability means, we show how dependability should be considered at the architectural level, and the impact this should have when developing dependable systems. Existing architectural approaches do not provide the necessary means for reasoning about dependability, hence the need to know what are the general principles associated with software architectures, what is being developed in terms of dependability means, and what are the challenges lying ahead. The main objectives of this tutorial are the following: • to establish the major principles associated with software architectures and dependability that are relevant when reasoning about faults at the architectural level; • to introduce and discuss existing approaches for architecting dependable systems; • to identify the main challenges that lie ahead when considering the structuring of dependable systems at the architectural level.
منابع مشابه
Developing Dependable Systems Using Software Architecture
The construction of dependable software systems is recognized as a complex task: the system developer has to address the usage of fault tolerance techniques in addition to the design of the functional aspects that are specific to the system. This paper proposes a framework aimed at easing the development of dependable systems by providing software designers with a repository of dependable softw...
متن کاملSoftware Architectures for Dependable and Distributed Systems
This position paper describes the current state-of-the-art and the future vision of software architectures for dependable systems. The study of software architectures is a relatively new field in software engineering, which has emerged from the need of modelling and analysing software systems at a very high level of abstraction. The current trend of building trustworthy systems from existing un...
متن کاملAdaptive Architectures for Future Highly Dependable, Real-Time Systems
Many present-day safety-critical or mission-critical military applications are deployed using intrinsically static architectures. Often these applications are real-time systems, where late responses may cause potentially catastrophic results. Static architectures allow system developers to certify with a high degree of confidence that their systems will provide correct functionality during oper...
متن کاملProvably Dependable Software Architectures for Adaptable Avionics
Dependable architectures demonstrably possess properties such as safety, security and fault tolerance. We are interested in developing methods allowing formal demonstrations through proof that an architecture does indeed possess the desired dependability properties. We focus on architecture hierarchies as a means of enabling such demonstrations. Integrated avionics offer unprecedented generalit...
متن کامل